execution: 1) выполнение, исполнение Ex: execution time _комп. время счета; время выполнения Ex: execution of an order выполнение заказа; исполнение приказа Ex: execution of the plan проведение плана в жизнь E
path: 1) тропинка, тропа; дорожка Ex: a garden path садовая дорожка Ex: a path through the woods лесная тропинка2) велосипедная дорожка3) путь Ex: the path to the town путь в город Ex: hurricane path _мет
-path: 1) в сложных словах с греч. корнями имеет значение: сторонник данного метода лечения Ex: homoeopath гомеопат Ex: hydropath гидропат2) в сложных словах с греч. корнями имеет значение: больной, пациен
by-path: 1) боковая тропинка, уединенная тропа или дорога
constitutional execution: исполнение, применение закона без нарушения конституции; исполнение, приведение в исполнение судебного решения или приговора без нарушения конституции; исполнение, приведение в исполнение приговора
Примеры
In addition to model-checking, SPIN can also operate as a simulator, following one possible execution path through the system and presenting the resulting execution trace to the user. Кроме проверки моделей, SPIN может работать в качестве симулятора, исполняя один из возможных путей работы системы и предоставляя программисту результаты этого исполнения.